http://identifiers.org/mgd/MGI:5517707 MGI:5517707 targeted mutation 3.1, Hal M Hoffman D301N NLRP3 Humanized sequence NOMID Nlrp3<tm3.1Hhf>